J_{2}.2

5^{2} : (4 × S_{3}) 2016 1a^{+} + 63a^{−} + 90a^{±} + 126a^{±} + 160a^{+} +

175a^{+} + 225a^{−} + 288a^{−} + 336a^{±}

12

Character Numbers: [ 1, 8, 10, 11, 12, 13, 14, 16, 21, 23, 26, 27 ]

S_{1} S_{2}  S_{3} S_{4}  S_{5}  S_{6} S_{7}  S_{8}  S_{9}  S_{10} S_{11}  S_{12}
χ_{1} 1 15  25 75  100  150 150  150 150  300 300  600
χ_{2} 1 −3 −13 27 −12  −30  6  −6  6  36  12  −24
χ_{3} 1 1  11 19  16  10 −18  −18 −18  20 −8  −16
χ_{4} 1 9  −5 −5  0  10 30  −10 −10  20 −40  0
χ_{5} 1 7  5  7 −20  −2  6  −6 −6  −28  28  8
χ_{6} 1 −3  7  7 −12  10  6  14  26  −4 −28  −24
χ_{7} 1 6  1 −6  16  −15 −3  12  12  0  12  −36
χ_{8} 1 −3  −5  3  4  18  6  18 −18  −12  12  −24
χ_{9} 1 −1  1 −13 −12  6 −10  −2 −2  28  12  −8
χ_{10} 1 2  −5  2  0  3 −19  4  4  −8 −12  28
χ_{11} 1 −3 1 + r6 −3 4 − r6 −6 − 4r6  6 −6 + 5r6 −4r6 −6 + 2r6 −3r6 12 + 4r6
χ_{12} 1 −3 1 − r6 −3 4 + r6 −6 + 4r6  6 −6 − 5r6 4r6 −6 − 2r6 3r6 12 − 4r6

Ramanujan Graphs: [ 2, 3, 4, 5, 6, 7 ], [ 2, 3, 4, 5, 6, 7, 8 ], [ 2, 3, 4, 5, 6, 7, 8, 9 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 10 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 10, 12 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 11 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 11, 12 ], [ 2, 3, 4, 5, 6, 7, 8, 9, 12 ], [ 2, 3, 4, 5, 6, 7, 8, 10 ], [ 2, 3, 4, 5, 6, 7, 8, 10, 11 ], [ 2, 3, 4, 5, 6, 7, 8, 10, 11, 12 ], [ 2, 3, 4, 5, 6, 7, 8, 10, 12 ], [ 2, 3, 4, 5, 6, 7, 8, 11 ], [ 2, 3, 4, 5, 6, 7, 8, 11, 12 ], [ 2, 3, 4, 5, 6, 7, 8, 12 ], [ 2, 3, 4, 5, 6, 7, 9 ], [ 2, 3, 4, 5, 6, 7, 9, 10 ], [ 2, 3, 4, 5, 6, 7, 9, 10, 11 ], [ 2, 3, 4, 5, 6, 7, 9, 10, 11, 12 ] , [ 2, 3, 4, 5, 6, 7, 9, 10, 12 ], [ 2, 3, 4, 5, 6, 7, 9, 11 ], [ 2, 3, 4, 5, 6, 7, 9, 11, 12 ], [ 2, 3, 4, 5, 6, 7, 9, 12 ], [ 2, 3, 4, 5, 6, 7, 10, 11 ], [ 2, 3, 4, 5, 6, 7, 10, 11, 12 ], [ 2, 3, 4, 5, 6, 7, 10, 12 ], [ 2, 3, 4, 5, 6, 7, 11 ], [ 2, 3, 4, 5, 6, 7, 11, 12 ], [ 2, 3, 4, 5, 6, 7, 12 ], [ 2, 3, 4, 5, 6, 8 ], [ 2, 3, 4, 5, 6, 8, 9 ], [ 2, 3, 4, 5, 6, 8, 9, 10 ], [ 2, 3, 4, 5, 6, 8, 9, 10, 11 ], [ 2, 3, 4, 5, 6, 8, 9, 10, 11, 12 ], [ 2, 3, 4, 5, 6, 8, 9, 10, 12 ], [ 2, 3, 4, 5, 6, 8, 9, 11 ], [ 2, 3, 4, 5, 6, 8, 9, 11, 12 ], [ 2, 3, 4, 5, 6, 8, 9, 12 ], [ 2, 3, 4, 5, 6, 8, 10, 11 ], [ 2, 3, 4, 5, 6, 8, 10, 11, 12 ], [ 2, 3, 4, 5, 6, 8, 10, 12 ], [ 2, 3, 4, 5, 6, 8, 11 ], [ 2, 3, 4, 5, 6, 8, 11, 12 ], [ 2, 3, 4, 5, 6, 8, 12 ], [ 2, 3, 4, 5, 6, 9 ], [ 2, 3, 4, 5, 6, 9, 10, 11 ], [ 2, 3, 4, 5, 6, 9, 10, 11, 12 ], [ 2, 3, 4, 5, 6, 9, 10, 12 ], [ 2, 3, 4, 5, 6, 9, 11 ], [ 2, 3, 4, 5, 6, 9, 11, 12 ], [ 2, 3, 4, 5, 6, 9, 12 ], [ 2, 3, 4, 5, 6, 10, 11, 12 ], [ 2, 3, 4, 5, 6, 10, 12 ], [ 2, 3, 4, 5, 6, 11 ], [ 2, 3, 4, 5, 6, 11, 12 ], [ 2, 3, 4, 5, 6, 12 ], [ 2, 3, 4, 5, 7 ], [ 2, 3, 4, 5, 7, 8 ], [ 2, 3, 4, 5, 7, 8, 9 ], [ 2, 3, 4, 5, 7, 8, 9, 10 ], [ 2, 3, 4, 5, 7, 8, 9, 10, 11 ], [ 2, 3, 4, 5, 7, 8, 9, 10, 11, 12 ], [ 2, 3, 4, 5, 7, 8, 9, 10, 12 ], [ 2, 3, 4, 5, 7, 8, 9, 11 ], [ 2, 3, 4, 5, 7, 8, 9, 11, 12 ], [ 2, 3, 4, 5, 7, 8, 9, 12 ], [ 2, 3, 4, 5, 7, 8, 10 ], [ 2, 3, 4, 5, 7, 8, 10, 11 ], [ 2, 3, 4, 5, 7, 8, 10, 11, 12 ], [ 2, 3, 4, 5, 7, 8, 10, 12 ], [ 2, 3, 4, 5, 7, 8, 11 ], [ 2, 3, 4, 5, 7, 8, 11, 12 ], [ 2, 3, 4, 5, 7, 8, 12 ], [ 2, 3, 4, 5, 7, 9 ], [ 2, 3, 4, 5, 7, 9, 10 ], [ 2, 3, 4, 5, 7, 9, 10, 11 ], [ 2, 3, 4, 5, 7, 9, 10, 11, 12 ], [ 2, 3, 4, 5, 7, 9, 10, 12 ], [ 2, 3, 4, 5, 7, 9, 11 ], [ 2, 3, 4, 5, 7, 9, 11, 12 ], [ 2, 3, 4, 5, 7, 9, 12 ], [ 2, 3, 4, 5, 7, 10 ], [ 2, 3, 4, 5, 7, 10, 11 ], [ 2, 3, 4, 5, 7, 10, 11, 12 ], [ 2, 3, 4, 5, 7, 10, 12 ], [ 2, 3, 4, 5, 7, 11 ], [ 2, 3, 4, 5, 7, 11, 12 ], [ 2, 3, 4, 5, 7, 12 ], [ 2, 3, 4, 5, 8 ], [ 2, 3, 4, 5, 8, 9 ], [ 2, 3, 4, 5, 8, 9, 10 ], [ 2, 3, 4, 5, 8, 9, 10, 11 ], [ 2, 3, 4, 5, 8, 9, 10, 11, 12 ], [ 2, 3, 4, 5, 8, 9, 10, 12 ], [ 2, 3, 4, 5, 8, 9, 11, 12 ], [ 2, 3, 4, 5, 8, 9, 12 ], [ 2, 3, 4, 5, 8, 10 ], [ 2, 3, 4, 5, 8, 10, 11 ], [ 2, 3, 4, 5, 8, 10, 11, 12 ], [ 2, 3, 4, 5, 8, 10, 12 ], [ 2, 3, 4, 5, 8, 11 ], [ 2, 3, 4, 5, 8, 11, 12 ], [ 2, 3, 4, 5, 8, 12 ], [ 2, 3, 4, 5, 9 ], [ 2, 3, 4, 5, 9, 10 ], [ 2, 3, 4, 5, 9, 10, 11 ], [ 2, 3, 4, 5, 9, 10, 11, 12 ], [ 2, 3, 4, 5, 9, 10, 12 ], [ 2, 3, 4, 5, 9, 11 ], [ 2, 3, 4, 5, 9, 11, 12 ], [ 2, 3, 4, 5, 9, 12 ], [ 2, 3, 4, 5, 10, 11, 12 ], [ 2, 3, 4, 5, 10, 12 ], [ 2, 3, 4, 5, 11 ], [ 2, 3, 4, 5, 11, 12 ], [ 2, 3, 4, 5, 12 ], [ 2, 3, 4, 6, 7 ], [ 2, 3, 4, 6, 7, 8 ], [ 2, 3, 4, 6, 7, 8, 9, 10 ], [ 2, 3, 4, 6, 7, 8, 9, 10, 11 ], [ 2, 3, 4, 6, 7, 8, 9, 10, 11, 12 ], [ 2, 3, 4, 6, 7, 8, 9, 10, 12 ], [ 2, 3, 4, 6, 7, 8, 9, 11 ], [ 2, 3, 4, 6, 7, 8, 9, 11, 12 ], [ 2, 3, 4, 6, 7, 8, 9, 12 ], [ 2, 3, 4, 6, 7, 8, 10 ], [ 2, 3, 4, 6, 7, 8, 10, 11 ], [ 2, 3, 4, 6, 7, 8, 10, 11, 12 ], [ 2, 3, 4, 6, 7, 8, 10, 12 ], [ 2, 3, 4, 6, 7, 8, 11 ], [ 2, 3, 4, 6, 7, 8, 11, 12 ], [ 2, 3, 4, 6, 7, 8, 12 ], [ 2, 3, 4, 6, 7, 9, 10 ], [ 2, 3, 4, 6, 7, 9, 10, 11 ], [ 2, 3, 4, 6, 7, 9, 10, 11, 12 ], [ 2, 3, 4, 6, 7, 9, 10, 12 ], [ 2, 3, 4, 6, 7, 9, 11 ], [ 2, 3, 4, 6, 7, 9, 11, 12 ], [ 2, 3, 4, 6, 7, 9, 12 ], [ 2, 3, 4, 6, 7, 10, 11 ], [ 2, 3, 4, 6, 7, 10, 11, 12 ], [ 2, 3, 4, 6, 7, 10, 12 ], [ 2, 3, 4, 6, 7, 11 ], [ 2, 3, 4, 6, 7, 11, 12 ], [ 2, 3, 4, 6, 7, 12 ], [ 2, 3, 4, 6, 8 ], [ 2, 3, 4, 6, 8, 9, 10 ], [ 2, 3, 4, 6, 8, 9, 10, 11 ], [ 2, 3, 4, 6, 8, 9, 10, 11, 12 ], [ 2, 3, 4, 6, 8, 9, 10, 12 ], [ 2, 3, 4, 6, 8, 9, 11 ], [ 2, 3, 4, 6, 8, 9, 11, 12 ], [ 2, 3, 4, 6, 8, 9, 12 ], [ 2, 3, 4, 6, 8, 10 ], [ 2, 3, 4, 6, 8, 10, 11 ], [ 2, 3, 4, 6, 8, 10, 11, 12 ], [ 2, 3, 4, 6, 8, 10, 12 ], [ 2, 3, 4, 6, 8, 11 ], [ 2, 3, 4, 6, 8, 11, 12 ], [ 2, 3, 4, 6, 8, 12 ], [ 2, 3, 4, 6, 9, 10 ], [ 2, 3, 4, 6, 9, 10, 11 ], [ 2, 3, 4, 6, 9, 10, 11, 12 ], [ 2, 3, 4, 6, 9, 10, 12 ], [ 2, 3, 4, 6, 9, 11 ], [ 2, 3, 4, 6, 9, 11, 12 ], [ 2, 3, 4, 6, 9, 12 ], [ 2, 3, 4, 6, 10, 11 ], [ 2, 3, 4, 6, 10, 11, 12 ], [ 2, 3, 4, 6, 10, 12 ], [ 2, 3, 4, 6, 11 ], [ 2, 3, 4, 6, 11, 12 ], [ 2, 3, 4, 6, 12 ], [ 2, 3, 4, 7 ], [ 2, 3, 4, 7, 8 ], [ 2, 3, 4, 7, 8, 9, 10 ], [ 2, 3, 4, 7, 8, 9, 10, 11 ], [ 2, 3, 4, 7, 8, 9, 10, 11, 12 ], [ 2, 3, 4, 7, 8, 9, 10, 12 ], [ 2, 3, 4, 7, 8, 9, 11 ], [ 2, 3, 4, 7, 8, 9, 11, 12 ], [ 2, 3, 4, 7, 8, 9, 12 ], [ 2, 3, 4, 7, 8, 10 ], [ 2, 3, 4, 7, 8, 10, 11 ], [ 2, 3, 4, 7, 8, 10, 11, 12 ], [ 2, 3, 4, 7, 8, 10, 12 ], [ 2, 3, 4, 7, 8, 11 ], [ 2, 3, 4, 7, 8, 11, 12 ], [ 2, 3, 4, 7, 8, 12 ], [ 2, 3, 4, 7, 9, 10, 11, 12 ], [ 2, 3, 4, 7, 9, 10, 12 ], [ 2, 3, 4, 7, 9, 11 ], [ 2, 3, 4, 7, 9, 11, 12 ], [ 2, 3, 4, 7, 9, 12 ], [ 2, 3, 4, 7, 10, 11, 12 ], [ 2, 3, 4, 7, 10, 12 ], [ 2, 3, 4, 7, 11, 12 ], [ 2, 3, 4, 7, 12 ], [ 2, 3, 4, 8 ], [ 2, 3, 4, 8, 9, 10 ], [ 2, 3, 4, 8, 9, 10, 11 ], [ 2, 3, 4, 8, 9, 10, 11, 12 ], [ 2, 3, 4, 8, 9, 10, 12 ], [ 2, 3, 4, 8, 9, 11, 12 ], [ 2, 3, 4, 8, 9, 12 ], [ 2, 3, 4, 8, 10 ], [ 2, 3, 4, 8, 10, 11 ], [ 2, 3, 4, 8, 10, 11, 12 ], [ 2, 3, 4, 8, 10, 12 ], [ 2, 3, 4, 8, 11, 12 ], [ 2, 3, 4, 8, 12 ], [ 2, 3, 4, 9, 10, 11, 12 ], [ 2, 3, 4, 9, 10, 12 ], [ 2, 3, 4, 9, 11, 12 ], [ 2, 3, 4, 9, 12 ], [ 2, 3, 4, 10, 11, 12 ], [ 2, 3, 4, 10, 12 ], [ 2, 3, 4, 11, 12 ], [ 2, 3, 4, 12 ], [ 2, 3, 5, 6, 7, 8, 9 ], [ 2, 3, 5, 6, 7, 8, 9, 10 ], [ 2, 3, 5, 6, 7, 8, 9, 10, 11 ], [ 2, 3, 5, 6, 7, 8, 9, 10, 11, 12 ] , [ 2, 3, 5, 6, 7, 8, 9, 10, 12 ], [ 2, 3, 5, 6, 7, 8, 9, 11 ], [ 2, 3, 5, 6, 7, 8, 9, 11, 12 ], [ 2, 3, 5, 6, 7, 8, 10 ], [ 2, 3, 5, 6, 7, 8, 10, 11 ], [ 2, 3, 5, 6, 7, 8, 10, 11, 12 ], [ 2, 3, 5, 6, 7, 8, 10, 12 ], [ 2, 3, 5, 6, 7, 8, 11 ], [ 2, 3, 5, 6, 7, 8, 11, 12 ], [ 2, 3, 5, 6, 7, 9 ], [ 2, 3, 5, 6, 7, 9, 10 ], [ 2, 3, 5, 6, 7, 9, 10, 11 ], [ 2, 3, 5, 6, 7, 9, 10, 11, 12 ], [ 2, 3, 5, 6, 7, 9, 10, 12 ], [ 2, 3, 5, 6, 7, 9, 11 ], [ 2, 3, 5, 6, 7, 9, 11, 12 ], [ 2, 3, 5, 6, 7, 10, 11 ], [ 2, 3, 5, 6, 7, 10, 11, 12 ], [ 2, 3, 5, 6, 7, 10, 12 ], [ 2, 3, 5, 6, 7, 11 ], [ 2, 3, 5, 6, 7, 11, 12 ], [ 2, 3, 5, 6, 8, 9, 10 ], [ 2, 3, 5, 6, 8, 9, 10, 11 ], [ 2, 3, 5, 6, 8, 9, 10, 11, 12 ], [ 2, 3, 5, 6, 8, 9, 10, 12 ], [ 2, 3, 5, 6, 8, 9, 11 ], [ 2, 3, 5, 6, 8, 9, 11, 12 ], [ 2, 3, 5, 6, 8, 10 ], [ 2, 3, 5, 6, 8, 10, 11 ], [ 2, 3, 5, 6, 8, 10, 11, 12 ], [ 2, 3, 5, 6, 8, 10, 12 ], [ 2, 3, 5, 6, 8, 11 ], [ 2, 3, 5, 6, 9, 10 ], [ 2, 3, 5, 6, 9, 10, 11 ], [ 2, 3, 5, 6, 9, 10, 11, 12 ], [ 2, 3, 5, 6, 9, 10, 12 ], [ 2, 3, 5, 6, 9, 11 ], [ 2, 3, 5, 6, 9, 11, 12 ], [ 2, 3, 5, 6, 10, 11 ], [ 2, 3, 5, 6, 10, 11, 12 ], [ 2, 3, 5, 6, 10, 12 ], [ 2, 3, 5, 6, 11 ], [ 2, 3, 5, 7 ], [ 2, 3, 5, 7, 8 ], [ 2, 3, 5, 7, 8, 9 ], [ 2, 3, 5, 7, 8, 9, 10 ], [ 2, 3, 5, 7, 8, 9, 10, 11 ], [ 2, 3, 5, 7, 8, 9, 10, 11, 12 ], [ 2, 3, 5, 7, 8, 9, 10, 12 ], [ 2, 3, 5, 7, 8, 9, 11 ], [ 2, 3, 5, 7, 8, 9, 11, 12 ], [ 2, 3, 5, 7, 8, 9, 12 ], [ 2, 3, 5, 7, 8, 10 ], [ 2, 3, 5, 7, 8, 10, 11 ], [ 2, 3, 5, 7, 8, 10, 11, 12 ], [ 2, 3, 5, 7, 8, 10, 12 ], [ 2, 3, 5, 7, 8, 11 ], [ 2, 3, 5, 7, 8, 11, 12 ], [ 2, 3, 5, 7, 8, 12 ], [ 2, 3, 5, 7, 9 ], [ 2, 3, 5, 7, 9, 10 ], [ 2, 3, 5, 7, 9, 10, 11 ], [ 2, 3, 5, 7, 9, 10, 11, 12 ], [ 2, 3, 5, 7, 9, 10, 12 ], [ 2, 3, 5, 7, 9, 11 ], [ 2, 3, 5, 7, 9, 11, 12 ], [ 2, 3, 5, 7, 9, 12 ], [ 2, 3, 5, 7, 10, 11 ], [ 2, 3, 5, 7, 10, 11, 12 ], [ 2, 3, 5, 7, 10, 12 ], [ 2, 3, 5, 7, 11 ], [ 2, 3, 5, 7, 11, 12 ], [ 2, 3, 5, 7, 12 ], [ 2, 3, 5, 8, 9, 10 ], [ 2, 3, 5, 8, 9, 10, 11 ], [ 2, 3, 5, 8, 9, 10, 11, 12 ], [ 2, 3, 5, 8, 9, 10, 12 ], [ 2, 3, 5, 8, 9, 11, 12 ], [ 2, 3, 5, 8, 9, 12 ], [ 2, 3, 5, 8, 10 ], [ 2, 3, 5, 8, 10, 11 ], [ 2, 3, 5, 8, 10, 11, 12 ], [ 2, 3, 5, 8, 10, 12 ], [ 2, 3, 5, 8, 11 ], [ 2, 3, 5, 8, 11, 12 ], [ 2, 3, 5, 8, 12 ], [ 2, 3, 5, 9, 10 ], [ 2, 3, 5, 9, 10, 11 ], [ 2, 3, 5, 9, 10, 11, 12 ], [ 2, 3, 5, 9, 10, 12 ], [ 2, 3, 5, 9, 11 ], [ 2, 3, 5, 9, 11, 12 ], [ 2, 3, 5, 9, 12 ], [ 2, 3, 5, 10, 11 ], [ 2, 3, 5, 10, 11, 12 ], [ 2, 3, 5, 10, 12 ], [ 2, 3, 5, 11 ], [ 2, 3, 5, 11, 12 ], [ 2, 3, 5, 12 ], [ 2, 3, 6, 7, 8, 9, 10 ], [ 2, 3, 6, 7, 8, 9, 10, 11 ], [ 2, 3, 6, 7, 8, 9, 10, 11, 12 ], [ 2, 3, 6, 7, 8, 9, 10, 12 ], [ 2, 3, 6, 7, 8, 9, 11 ], [ 2, 3, 6, 7, 8, 9, 11, 12 ], [ 2, 3, 6, 7, 8, 9, 12 ], [ 2, 3, 6, 7, 8, 10 ], [ 2, 3, 6, 7, 8, 10, 11 ], [ 2, 3, 6, 7, 8, 10, 11, 12 ], [ 2, 3, 6, 7, 8, 10, 12 ], [ 2, 3, 6, 7, 8, 11 ], [ 2, 3, 6, 7, 8, 11, 12 ], [ 2, 3, 6, 7, 9, 10 ], [ 2, 3, 6, 7, 9, 10, 11 ], [ 2, 3, 6, 7, 9, 10, 11, 12 ], [ 2, 3, 6, 7, 9, 10, 12 ], [ 2, 3, 6, 7, 9, 11 ], [ 2, 3, 6, 7, 9, 11, 12 ], [ 2, 3, 6, 7, 9, 12 ], [ 2, 3, 6, 7, 10, 11 ], [ 2, 3, 6, 7, 10, 11, 12 ], [ 2, 3, 6, 7, 10, 12 ], [ 2, 3, 6, 7, 11 ], [ 2, 3, 6, 7, 11, 12 ], [ 2, 3, 6, 8, 9, 10 ], [ 2, 3, 6, 8, 9, 10, 11 ], [ 2, 3, 6, 8, 9, 10, 11, 12 ], [ 2, 3, 6, 8, 9, 10, 12 ], [ 2, 3, 6, 8, 9, 11 ], [ 2, 3, 6, 8, 9, 11, 12 ], [ 2, 3, 6, 8, 10 ], [ 2, 3, 6, 8, 10, 11 ], [ 2, 3, 6, 8, 10, 11, 12 ], [ 2, 3, 6, 8, 10, 12 ], [ 2, 3, 6, 8, 11 ], [ 2, 3, 6, 8, 11, 12 ], [ 2, 3, 6, 9, 10 ], [ 2, 3, 6, 9, 10, 11 ], [ 2, 3, 6, 9, 10, 11, 12 ], [ 2, 3, 6, 9, 10, 12 ], [ 2, 3, 6, 9, 11 ], [ 2, 3, 6, 9, 11, 12 ], [ 2, 3, 6, 10 ], [ 2, 3, 6, 10, 11 ], [ 2, 3, 6, 10, 11, 12 ], [ 2, 3, 6, 10, 12 ], [ 2, 3, 6, 11 ], [ 2, 3, 6, 11, 12 ], [ 2, 3, 7, 8 ], [ 2, 3, 7, 8, 9, 10 ], [ 2, 3, 7, 8, 9, 10, 11 ], [ 2, 3, 7, 8, 9, 10, 11, 12 ], [ 2, 3, 7, 8, 9, 10, 12 ], [ 2, 3, 7, 8, 9, 11 ], [ 2, 3, 7, 8, 9, 11, 12 ], [ 2, 3, 7, 8, 9, 12 ], [ 2, 3, 7, 8, 10 ], [ 2, 3, 7, 8, 10, 11 ], [ 2, 3, 7, 8, 10, 11, 12 ], [ 2, 3, 7, 8, 10, 12 ], [ 2, 3, 7, 8, 11 ], [ 2, 3, 7, 8, 11, 12 ], [ 2, 3, 7, 8, 12 ], [ 2, 3, 7, 9 ], [ 2, 3, 7, 9, 10 ], [ 2, 3, 7, 9, 10, 11 ], [ 2, 3, 7, 9, 10, 11, 12 ], [ 2, 3, 7, 9, 10, 12 ], [ 2, 3, 7, 9, 11 ], [ 2, 3, 7, 9, 11, 12 ], [ 2, 3, 7, 9, 12 ], [ 2, 3, 7, 10, 11 ], [ 2, 3, 7, 10, 11, 12 ], [ 2, 3, 7, 10, 12 ], [ 2, 3, 7, 11, 12 ], [ 2, 3, 7, 12 ], [ 2, 3, 8 ], [ 2, 3, 8, 9, 10 ], [ 2, 3, 8, 9, 10, 11 ], [ 2, 3, 8, 9, 10, 11, 12 ], [ 2, 3, 8, 9, 10, 12 ], [ 2, 3, 8, 9, 11, 12 ], [ 2, 3, 8, 9, 12 ], [ 2, 3, 8, 10 ], [ 2, 3, 8, 10, 11 ], [ 2, 3, 8, 10, 11, 12 ], [ 2, 3, 8, 10, 12 ], [ 2, 3, 8, 11, 12 ], [ 2, 3, 8, 12 ], [ 2, 3, 9, 10 ], [ 2, 3, 9, 10, 11 ], [ 2, 3, 9, 10, 11, 12 ], [ 2, 3, 9, 10, 12 ], [ 2, 3, 9, 11, 12 ], [ 2, 3, 9, 12 ], [ 2, 3, 10 ], [ 2, 3, 10, 11 ], [ 2, 3, 10, 11, 12 ], [ 2, 3, 10, 12 ], [ 2, 3, 11, 12 ], [ 2, 3, 12 ], [ 2, 4, 5, 6, 7 ], [ 2, 4, 5, 6, 7, 8 ], [ 2, 4, 5, 6, 7, 8, 9 ], [ 2, 4, 5, 6, 7, 8, 9, 10 ], [ 2, 4, 5, 6, 7, 8, 9, 10, 11 ], [ 2, 4, 5, 6, 7, 8, 9, 10, 11, 12 ], [ 2, 4, 5, 6, 7, 8, 9, 10, 12 ], [ 2, 4, 5, 6, 7, 8, 9, 11 ], [ 2, 4, 5, 6, 7, 8, 9, 11, 12 ], [ 2, 4, 5, 6, 7, 8, 9, 12 ], [ 2, 4, 5, 6, 7, 8, 10 ], [ 2, 4, 5, 6, 7, 8, 10, 11 ], [ 2, 4, 5, 6, 7, 8, 10, 11, 12 ], [ 2, 4, 5, 6, 7, 8, 10, 12 ], [ 2, 4, 5, 6, 7, 8, 11 ], [ 2, 4, 5, 6, 7, 8, 11, 12 ], [ 2, 4, 5, 6, 7, 8, 12 ], [ 2, 4, 5, 6, 7, 9 ], [ 2, 4, 5, 6, 7, 9, 10 ], [ 2, 4, 5, 6, 7, 9, 10, 11 ], [ 2, 4, 5, 6, 7, 9, 10, 11, 12 ], [ 2, 4, 5, 6, 7, 9, 10, 12 ], [ 2, 4, 5, 6, 7, 9, 11 ], [ 2, 4, 5, 6, 7, 9, 11, 12 ], [ 2, 4, 5, 6, 7, 9, 12 ], [ 2, 4, 5, 6, 7, 10, 11 ], [ 2, 4, 5, 6, 7, 10, 11, 12 ], [ 2, 4, 5, 6, 7, 10, 12 ], [ 2, 4, 5, 6, 7, 11 ], [ 2, 4, 5, 6, 7, 11, 12 ], [ 2, 4, 5, 6, 7, 12 ], [ 2, 4, 5, 6, 8 ], [ 2, 4, 5, 6, 8, 9 ], [ 2, 4, 5, 6, 8, 9, 10 ], [ 2, 4, 5, 6, 8, 9, 10, 11 ], [ 2, 4, 5, 6, 8, 9, 10, 11, 12 ], [ 2, 4, 5, 6, 8, 9, 10, 12 ], [ 2, 4, 5, 6, 8, 9, 11 ], [ 2, 4, 5, 6, 8, 9, 11, 12 ], [ 2, 4, 5, 6, 8, 9, 12 ], [ 2, 4, 5, 6, 8, 10 ], [ 2, 4, 5, 6, 8, 10, 11 ], [ 2, 4, 5, 6, 8, 10, 11, 12 ], [ 2, 4, 5, 6, 8, 10, 12 ], [ 2, 4, 5, 6, 8, 11 ], [ 2, 4, 5, 6, 8, 11, 12 ], [ 2, 4, 5, 6, 8, 12 ], [ 2, 4, 5, 6, 9 ], [ 2, 4, 5, 6, 9, 10 ], [ 2, 4, 5, 6, 9, 10, 11 ], [ 2, 4, 5, 6, 9, 10, 11, 12 ], [ 2, 4, 5, 6, 9, 10, 12 ], [ 2, 4, 5, 6, 9, 11 ], [ 2, 4, 5, 6, 9, 11, 12 ], [ 2, 4, 5, 6, 9, 12 ], [ 2, 4, 5, 6, 10, 11 ], [ 2, 4, 5, 6, 10, 11, 12 ], [ 2, 4, 5, 6, 10, 12 ], [ 2, 4, 5, 6, 11 ], [ 2, 4, 5, 6, 11, 12 ], [ 2, 4, 5, 6, 12 ], [ 2, 4, 5, 7 ], [ 2, 4, 5, 7, 8 ], [ 2, 4, 5, 7, 8, 9 ], [ 2, 4, 5, 7, 8, 9, 10 ], [ 2, 4, 5, 7, 8, 9, 10, 11 ], [ 2, 4, 5, 7, 8, 9, 10, 11, 12 ], [ 2, 4, 5, 7, 8, 9, 10, 12 ], [ 2, 4, 5, 7, 8, 9, 11 ], [ 2, 4, 5, 7, 8, 9, 11, 12 ], [ 2, 4, 5, 7, 8, 9, 12 ], [ 2, 4, 5, 7, 8, 10 ], [ 2, 4, 5, 7, 8, 10, 11 ], [ 2, 4, 5, 7, 8, 10, 11, 12 ], [ 2, 4, 5, 7, 8, 10, 12 ], [ 2, 4, 5, 7, 8, 11 ], [ 2, 4, 5, 7, 8, 11, 12 ], [ 2, 4, 5, 7, 8, 12 ], [ 2, 4, 5, 7, 9 ], [ 2, 4, 5, 7, 9, 10, 11, 12 ], [ 2, 4, 5, 7, 9, 10, 12 ], [ 2, 4, 5, 7, 9, 11 ], [ 2, 4, 5, 7, 9, 11, 12 ], [ 2, 4, 5, 7, 9, 12 ], [ 2, 4, 5, 7, 10, 11, 12 ], [ 2, 4, 5, 7, 10, 12 ], [ 2, 4, 5, 7, 11 ], [ 2, 4, 5, 7, 11, 12 ], [ 2, 4, 5, 7, 12 ], [ 2, 4, 5, 8 ], [ 2, 4, 5, 8, 9 ], [ 2, 4, 5, 8, 9, 10 ], [ 2, 4, 5, 8, 9, 10, 11 ], [ 2, 4, 5, 8, 9, 10, 11, 12 ], [ 2, 4, 5, 8, 9, 10, 12 ], [ 2, 4, 5, 8, 9, 11 ], [ 2, 4, 5, 8, 9, 11, 12 ], [ 2, 4, 5, 8, 9, 12 ], [ 2, 4, 5, 8, 10 ], [ 2, 4, 5, 8, 10, 11 ], [ 2, 4, 5, 8, 10, 11, 12 ], [ 2, 4, 5, 8, 10, 12 ], [ 2, 4, 5, 8, 11 ], [ 2, 4, 5, 8, 11, 12 ], [ 2, 4, 5, 8, 12 ], [ 2, 4, 5, 9 ], [ 2, 4, 5, 9, 10, 11, 12 ], [ 2, 4, 5, 9, 10, 12 ], [ 2, 4, 5, 9, 11 ], [ 2, 4, 5, 9, 11, 12 ], [ 2, 4, 5, 9, 12 ], [ 2, 4, 5, 10, 11, 12 ], [ 2, 4, 5, 10, 12 ], [ 2, 4, 5, 11 ], [ 2, 4, 5, 11, 12 ], [ 2, 4, 5, 12 ], [ 2, 4, 6 ], [ 2, 4, 6, 7, 8 ], [ 2, 4, 6, 7, 8, 9, 10 ], [ 2, 4, 6, 7, 8, 9, 10, 11 ], [ 2, 4, 6, 7, 8, 9, 10, 11, 12 ], [ 2, 4, 6, 7, 8, 9, 10, 12 ], [ 2, 4, 6, 7, 8, 9, 11 ], [ 2, 4, 6, 7, 8, 9, 11, 12 ], [ 2, 4, 6, 7, 8, 9, 12 ], [ 2, 4, 6, 7, 8, 10 ], [ 2, 4, 6, 7, 8, 10, 11 ], [ 2, 4, 6, 7, 8, 10, 11, 12 ], [ 2, 4, 6, 7, 8, 10, 12 ], [ 2, 4, 6, 7, 8, 11 ], [ 2, 4, 6, 7, 8, 11, 12 ], [ 2, 4, 6, 7, 8, 12 ], [ 2, 4, 6, 7, 9 ], [ 2, 4, 6, 7, 9, 10 ], [ 2, 4, 6, 7, 9, 10, 11 ], [ 2, 4, 6, 7, 9, 10, 11, 12 ], [ 2, 4, 6, 7, 9, 10, 12 ], [ 2, 4, 6, 7, 9, 11 ], [ 2, 4, 6, 7, 9, 11, 12 ], [ 2, 4, 6, 7, 9, 12 ], [ 2, 4, 6, 7, 10, 11 ], [ 2, 4, 6, 7, 10, 11, 12 ], [ 2, 4, 6, 7, 10, 12 ], [ 2, 4, 6, 7, 11 ], [ 2, 4, 6, 7, 11, 12 ], [ 2, 4, 6, 7, 12 ], [ 2, 4, 6, 8 ], [ 2, 4, 6, 8, 9, 10 ], [ 2, 4, 6, 8, 9, 10, 11 ], [ 2, 4, 6, 8, 9, 10, 11, 12 ], [ 2, 4, 6, 8, 9, 10, 12 ], [ 2, 4, 6, 8, 9, 11 ], [ 2, 4, 6, 8, 9, 11, 12 ], [ 2, 4, 6, 8, 9, 12 ], [ 2, 4, 6, 8, 10 ], [ 2, 4, 6, 8, 10, 11 ], [ 2, 4, 6, 8, 10, 11, 12 ], [ 2, 4, 6, 8, 10, 12 ], [ 2, 4, 6, 8, 11 ], [ 2, 4, 6, 8, 11, 12 ], [ 2, 4, 6, 8, 12 ], [ 2, 4, 6, 9, 10 ], [ 2, 4, 6, 9, 10, 11 ], [ 2, 4, 6, 9, 10, 11, 12 ], [ 2, 4, 6, 9, 10, 12 ], [ 2, 4, 6, 9, 11 ], [ 2, 4, 6, 9, 11, 12 ], [ 2, 4, 6, 9, 12 ], [ 2, 4, 6, 10, 11 ], [ 2, 4, 6, 10, 11, 12 ], [ 2, 4, 6, 10, 12 ], [ 2, 4, 6, 11 ], [ 2, 4, 6, 11, 12 ], [ 2, 4, 6, 12 ], [ 2, 4, 7, 8 ], [ 2, 4, 7, 8, 9, 10, 11, 12 ], [ 2, 4, 7, 8, 9, 10, 12 ], [ 2, 4, 7, 8, 9, 11 ], [ 2, 4, 7, 8, 9, 11, 12 ], [ 2, 4, 7, 8, 9, 12 ], [ 2, 4, 7, 8, 10, 11, 12 ], [ 2, 4, 7, 8, 10, 12 ], [ 2, 4, 7, 8, 11 ], [ 2, 4, 7, 8, 11, 12 ], [ 2, 4, 7, 8, 12 ], [ 2, 4, 7, 9 ], [ 2, 4, 7, 9, 10, 11, 12 ], [ 2, 4, 7, 9, 10, 12 ], [ 2, 4, 7, 9, 11 ], [ 2, 4, 7, 9, 11, 12 ], [ 2, 4, 7, 9, 12 ], [ 2, 4, 7, 10, 11, 12 ], [ 2, 4, 7, 10, 12 ], [ 2, 4, 7, 11, 12 ], [ 2, 4, 7, 12 ], [ 2, 4, 8 ], [ 2, 4, 8, 9, 10, 11, 12 ], [ 2, 4, 8, 9, 10, 12 ], [ 2, 4, 8, 9, 11, 12 ], [ 2, 4, 8, 9, 12 ], [ 2, 4, 8, 10, 11, 12 ], [ 2, 4, 8, 10, 12 ], [ 2, 4, 8, 11 ], [ 2, 4, 8, 11, 12 ], [ 2, 4, 8, 12 ], [ 2, 4, 9 ], [ 2, 4, 9, 10, 11, 12 ], [ 2, 4, 9, 10, 12 ], [ 2, 4, 9, 11 ], [ 2, 4, 9, 11, 12 ], [ 2, 4, 9, 12 ], [ 2, 4, 10, 11, 12 ], [ 2, 4, 10, 12 ], [ 2, 4, 11, 12 ], [ 2, 4, 12 ], [ 2, 5, 6, 7, 8 ], [ 2, 5, 6, 7, 8, 9 ], [ 2, 5, 6, 7, 8, 9, 10 ], [ 2, 5, 6, 7, 8, 9, 10, 11 ], [ 2, 5, 6, 7, 8, 9, 10, 11, 12 ], [ 2, 5, 6, 7, 8, 9, 10, 12 ], [ 2, 5, 6, 7, 8, 9, 11 ], [ 2, 5, 6, 7, 8, 9, 11, 12 ], [ 2, 5, 6, 7, 8, 9, 12 ], [ 2, 5, 6, 7, 8, 10, 11 ], [ 2, 5, 6, 7, 8, 10, 11, 12 ], [ 2, 5, 6, 7, 8, 10, 12 ], [ 2, 5, 6, 7, 8, 11 ], [ 2, 5, 6, 7, 8, 11, 12 ], [ 2, 5, 6, 7, 9 ], [ 2, 5, 6, 7, 9, 10, 11 ], [ 2, 5, 6, 7, 9, 10, 11, 12 ], [ 2, 5, 6, 7, 9, 10, 12 ], [ 2, 5, 6, 7, 9, 11 ], [ 2, 5, 6, 7, 9, 11, 12 ], [ 2, 5, 6, 7, 9, 12 ], [ 2, 5, 6, 7, 10, 11 ], [ 2, 5, 6, 7, 10, 11, 12 ], [ 2, 5, 6, 7, 10, 12 ], [ 2, 5, 6, 7, 11 ], [ 2, 5, 6, 7, 11, 12 ], [ 2, 5, 6, 7, 12 ], [ 2, 5, 6, 8, 9 ], [ 2, 5, 6, 8, 9, 10 ], [ 2, 5, 6, 8, 9, 10, 11 ], [ 2, 5, 6, 8, 9, 10, 11, 12 ], [ 2, 5, 6, 8, 9, 10, 12 ], [ 2, 5, 6, 8, 9, 11 ], [ 2, 5, 6, 8, 9, 11, 12 ], [ 2, 5, 6, 8, 10 ], [ 2, 5, 6, 8, 10, 11 ], [ 2, 5, 6, 8, 10, 11, 12 ], [ 2, 5, 6, 8, 10, 12 ], [ 2, 5, 6, 8, 11 ], [ 2, 5, 6, 8, 11, 12 ], [ 2, 5, 6, 9 ], [ 2, 5, 6, 9, 10 ], [ 2, 5, 6, 9, 10, 11 ], [ 2, 5, 6, 9, 10, 11, 12 ], [ 2, 5, 6, 9, 10, 12 ], [ 2, 5, 6, 9, 11 ], [ 2, 5, 6, 9, 11, 12 ], [ 2, 5, 6, 9, 12 ], [ 2, 5, 6, 10 ], [ 2, 5, 6, 10, 11 ], [ 2, 5, 6, 10, 11, 12 ], [ 2, 5, 6, 10, 12 ], [ 2, 5, 6, 11 ], [ 2, 5, 6, 11, 12 ], [ 2, 5, 7, 8 ], [ 2, 5, 7, 8, 9 ], [ 2, 5, 7, 8, 9, 10 ], [ 2, 5, 7, 8, 9, 10, 11 ], [ 2, 5, 7, 8, 9, 10, 11, 12 ], [ 2, 5, 7, 8, 9, 10, 12 ], [ 2, 5, 7, 8, 9, 11 ], [ 2, 5, 7, 8, 9, 11, 12 ], [ 2, 5, 7, 8, 9, 12 ], [ 2, 5, 7, 8, 10 ], [ 2, 5, 7, 8, 10, 11 ], [ 2, 5, 7, 8, 10, 11, 12 ], [ 2, 5, 7, 8, 10, 12 ], [ 2, 5, 7, 8, 11 ], [ 2, 5, 7, 8, 11, 12 ], [ 2, 5, 7, 8, 12 ], [ 2, 5, 7, 9 ], [ 2, 5, 7, 9, 10 ], [ 2, 5, 7, 9, 10, 11 ], [ 2, 5, 7, 9, 10, 11, 12 ], [ 2, 5, 7, 9, 10, 12 ], [ 2, 5, 7, 9, 11 ], [ 2, 5, 7, 9, 11, 12 ], [ 2, 5, 7, 9, 12 ], [ 2, 5, 7, 10, 11 ], [ 2, 5, 7, 10, 11, 12 ], [ 2, 5, 7, 10, 12 ], [ 2, 5, 7, 11 ], [ 2, 5, 7, 11, 12 ], [ 2, 5, 7, 12 ], [ 2, 5, 8, 9, 10 ], [ 2, 5, 8, 9, 10, 11 ], [ 2, 5, 8, 9, 10, 11, 12 ], [ 2, 5, 8, 9, 10, 12 ], [ 2, 5, 8, 9, 11, 12 ], [ 2, 5, 8, 9, 12 ], [ 2, 5, 8, 10 ], [ 2, 5, 8, 10, 11 ], [ 2, 5, 8, 10, 11, 12 ], [ 2, 5, 8, 10, 12 ], [ 2, 5, 8, 11 ], [ 2, 5, 8, 11, 12 ], [ 2, 5, 8, 12 ], [ 2, 5, 9, 10 ], [ 2, 5, 9, 10, 11 ], [ 2, 5, 9, 10, 11, 12 ], [ 2, 5, 9, 10, 12 ], [ 2, 5, 9, 11 ], [ 2, 5, 9, 11, 12 ], [ 2, 5, 9, 12 ], [ 2, 5, 10, 11 ], [ 2, 5, 10, 11, 12 ], [ 2, 5, 10, 12 ], [ 2, 5, 12 ], [ 2, 6, 7, 8 ], [ 2, 6, 7, 8, 9, 10 ], [ 2, 6, 7, 8, 9, 10, 11 ], [ 2, 6, 7, 8, 9, 10, 11, 12 ], [ 2, 6, 7, 8, 9, 10, 12 ], [ 2, 6, 7, 8, 9, 11 ], [ 2, 6, 7, 8, 9, 11, 12 ], [ 2, 6, 7, 8, 9, 12 ], [ 2, 6, 7, 8, 10, 11 ], [ 2, 6, 7, 8, 10, 11, 12 ], [ 2, 6, 7, 8, 10, 12 ], [ 2, 6, 7, 8, 11 ], [ 2, 6, 7, 8, 11, 12 ], [ 2, 6, 7, 8, 12 ], [ 2, 6, 7, 9 ], [ 2, 6, 7, 9, 10, 11 ], [ 2, 6, 7, 9, 10, 11, 12 ], [ 2, 6, 7, 9, 10, 12 ], [ 2, 6, 7, 9, 11 ], [ 2, 6, 7, 9, 11, 12 ], [ 2, 6, 7, 9, 12 ], [ 2, 6, 7, 10, 11 ], [ 2, 6, 7, 10, 11, 12 ], [ 2, 6, 7, 10, 12 ], [ 2, 6, 7, 11 ], [ 2, 6, 7, 11, 12 ], [ 2, 6, 7, 12 ], [ 2, 6, 8, 9, 10 ], [ 2, 6, 8, 9, 10, 11 ], [ 2, 6, 8, 9, 10, 11, 12 ], [ 2, 6, 8, 9, 10, 12 ], [ 2, 6, 8, 9, 11 ], [ 2, 6, 8, 9, 11, 12 ], [ 2, 6, 8, 9, 12 ], [ 2, 6, 8, 10 ], [ 2, 6, 8, 10, 11 ], [ 2, 6, 8, 10, 11, 12 ], [ 2, 6, 8, 10, 12 ], [ 2, 6, 8, 11 ], [ 2, 6, 8, 11, 12 ], [ 2, 6, 9 ], [ 2, 6, 9, 10 ], [ 2, 6, 9, 10, 11 ], [ 2, 6, 9, 10, 11, 12 ], [ 2, 6, 9, 10, 12 ], [ 2, 6, 9, 11 ], [ 2, 6, 9, 11, 12 ], [ 2, 6, 9, 12 ], [ 2, 6, 10 ], [ 2, 6, 10, 11 ], [ 2, 6, 10, 11, 12 ], [ 2, 6, 10, 12 ], [ 2, 6, 11 ], [ 2, 6, 11, 12 ], [ 2, 7, 8 ], [ 2, 7, 8, 9, 10 ], [ 2, 7, 8, 9, 10, 11 ], [ 2, 7, 8, 9, 10, 11, 12 ], [ 2, 7, 8, 9, 10, 12 ], [ 2, 7, 8, 10 ], [ 2, 7, 8, 10, 11 ], [ 2, 7, 8, 10, 11, 12 ], [ 2, 7, 8, 10, 12 ], [ 2, 7, 8, 11 ], [ 2, 7, 8, 11, 12 ], [ 2, 7, 8, 12 ], [ 2, 7, 9 ], [ 2, 7, 9, 10 ], [ 2, 7, 9, 10, 11 ], [ 2, 7, 9, 10, 11, 12 ], [ 2, 7, 9, 10, 12 ], [ 2, 7, 9, 11 ], [ 2, 7, 9, 11, 12 ], [ 2, 7, 9, 12 ], [ 2, 7, 10, 11 ], [ 2, 7, 10, 11, 12 ], [ 2, 7, 10, 12 ], [ 2, 7, 11 ], [ 2, 7, 11, 12 ], [ 2, 7, 12 ], [ 2, 8 ], [ 2, 8, 9, 10 ], [ 2, 8, 9, 10, 11 ], [ 2, 8, 9, 10, 11, 12 ], [ 2, 8, 9, 10, 12 ], [ 2, 8, 9, 11, 12 ], [ 2, 8, 9, 12 ], [ 2, 8, 10 ], [ 2, 8, 10, 11 ], [ 2, 8, 10, 11, 12 ], [ 2, 8, 10, 12 ], [ 2, 8, 11 ], [ 2, 8, 11, 12 ], [ 2, 8, 12 ], [ 2, 9 ], [ 2, 9, 10 ], [ 2, 9, 10, 11 ], [ 2, 9, 10, 11, 12 ], [ 2, 9, 10, 12 ], [ 2, 9, 11 ], [ 2, 9, 11, 12 ], [ 2, 9, 12 ], [ 2, 10 ], [ 2, 10, 11 ], [ 2, 10, 11, 12 ], [ 2, 10, 12 ], [ 2, 11 ], [ 2, 11, 12 ], [ 2, 12 ], [ 3, 4, 5, 6, 7 ], [ 3, 4, 5, 6, 7, 8 ], [ 3, 4, 5, 6, 7, 8, 9, 10 ], [ 3, 4, 5, 6, 7, 8, 9, 10, 11 ], [ 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 ] , [ 3, 4, 5, 6, 7, 8, 9, 10, 12 ], [ 3, 4, 5, 6, 7, 8, 9, 11 ], [ 3, 4, 5, 6, 7, 8, 9, 11, 12 ], [ 3, 4, 5, 6, 7, 8, 9, 12 ], [ 3, 4, 5, 6, 7, 8, 10 ], [ 3, 4, 5, 6, 7, 8, 10, 11 ], [ 3, 4, 5, 6, 7, 8, 10, 11, 12 ], [ 3, 4, 5, 6, 7, 8, 10, 12 ], [ 3, 4, 5, 6, 7, 8, 11 ], [ 3, 4, 5, 6, 7, 8, 11, 12 ], [ 3, 4, 5, 6, 7, 8, 12 ], [ 3, 4, 5, 6, 7, 9 ], [ 3, 4, 5, 6, 7, 9, 10 ], [ 3, 4, 5, 6, 7, 9, 10, 11 ], [ 3, 4, 5, 6, 7, 9, 10, 11, 12 ], [ 3, 4, 5, 6, 7, 9, 10, 12 ], [ 3, 4, 5, 6, 7, 9, 11 ], [ 3, 4, 5, 6, 7, 9, 11, 12 ], [ 3, 4, 5, 6, 7, 9, 12 ], [ 3, 4, 5, 6, 7, 10, 11 ], [ 3, 4, 5, 6, 7, 10, 11, 12 ], [ 3, 4, 5, 6, 7, 10, 12 ], [ 3, 4, 5, 6, 7, 11 ], [ 3, 4, 5, 6, 7, 11, 12 ], [ 3, 4, 5, 6, 7, 12 ], [ 3, 4, 5, 6, 8 ], [ 3, 4, 5, 6, 8, 9, 10 ], [ 3, 4, 5, 6, 8, 9, 10, 11 ], [ 3, 4, 5, 6, 8, 9, 10, 11, 12 ], [ 3, 4, 5, 6, 8, 9, 10, 12 ], [ 3, 4, 5, 6, 8, 9, 11 ], [ 3, 4, 5, 6, 8, 9, 11, 12 ], [ 3, 4, 5, 6, 8, 9, 12 ], [ 3, 4, 5, 6, 8, 10, 11 ], [ 3, 4, 5, 6, 8, 10, 11, 12 ], [ 3, 4, 5, 6, 8, 10, 12 ], [ 3, 4, 5, 6, 8, 11 ], [ 3, 4, 5, 6, 8, 11, 12 ], [ 3, 4, 5, 6, 8, 12 ], [ 3, 4, 5, 6, 9 ], [ 3, 4, 5, 6, 9, 10, 11 ], [ 3, 4, 5, 6, 9, 10, 11, 12 ], [ 3, 4, 5, 6, 9, 10, 12 ], [ 3, 4, 5, 6, 9, 11 ], [ 3, 4, 5, 6, 9, 11, 12 ], [ 3, 4, 5, 6, 9, 12 ], [ 3, 4, 5, 6, 10, 11, 12 ], [ 3, 4, 5, 6, 10, 12 ], [ 3, 4, 5, 6, 11 ], [ 3, 4, 5, 6, 11, 12 ], [ 3, 4, 5, 6, 12 ], [ 3, 4, 5, 7 ], [ 3, 4, 5, 7, 8 ], [ 3, 4, 5, 7, 8, 9 ], [ 3, 4, 5, 7, 8, 9, 10 ], [ 3, 4, 5, 7, 8, 9, 10, 11 ], [ 3, 4, 5, 7, 8, 9, 10, 11, 12 ], [ 3, 4, 5, 7, 8, 9, 10, 12 ], [ 3, 4, 5, 7, 8, 9, 11 ], [ 3, 4, 5, 7, 8, 9, 11, 12 ], [ 3, 4, 5, 7, 8, 9, 12 ], [ 3, 4, 5, 7, 8, 10 ], [ 3, 4, 5, 7, 8, 10, 11 ], [ 3, 4, 5, 7, 8, 10, 11, 12 ], [ 3, 4, 5, 7, 8, 10, 12 ], [ 3, 4, 5, 7, 8, 11 ], [ 3, 4, 5, 7, 8, 11, 12 ], [ 3, 4, 5, 7, 8, 12 ], [ 3, 4, 5, 7, 9 ], [ 3, 4, 5, 7, 9, 10 ], [ 3, 4, 5, 7, 9, 10, 11 ], [ 3, 4, 5, 7, 9, 10, 11, 12 ], [ 3, 4, 5, 7, 9, 10, 12 ], [ 3, 4, 5, 7, 9, 11 ], [ 3, 4, 5, 7, 9, 11, 12 ], [ 3, 4, 5, 7, 9, 12 ], [ 3, 4, 5, 7, 10 ], [ 3, 4, 5, 7, 10, 11 ], [ 3, 4, 5, 7, 10, 11, 12 ], [ 3, 4, 5, 7, 10, 12 ], [ 3, 4, 5, 7, 11 ], [ 3, 4, 5, 7, 11, 12 ], [ 3, 4, 5, 7, 12 ], [ 3, 4, 5, 8 ], [ 3, 4, 5, 8, 9 ], [ 3, 4, 5, 8, 9, 10 ], [ 3, 4, 5, 8, 9, 10, 11 ], [ 3, 4, 5, 8, 9, 10, 11, 12 ], [ 3, 4, 5, 8, 9, 10, 12 ], [ 3, 4, 5, 8, 9, 11, 12 ], [ 3, 4, 5, 8, 9, 12 ], [ 3, 4, 5, 8, 10 ], [ 3, 4, 5, 8, 10, 11 ], [ 3, 4, 5, 8, 10, 11, 12 ], [ 3, 4, 5, 8, 10, 12 ], [ 3, 4, 5, 8, 11, 12 ], [ 3, 4, 5, 8, 12 ], [ 3, 4, 5, 9 ], [ 3, 4, 5, 9, 10 ], [ 3, 4, 5, 9, 10, 11 ], [ 3, 4, 5, 9, 10, 11, 12 ], [ 3, 4, 5, 9, 10, 12 ], [ 3, 4, 5, 9, 11, 12 ], [ 3, 4, 5, 9, 12 ], [ 3, 4, 5, 10, 11, 12 ], [ 3, 4, 5, 10, 12 ], [ 3, 4, 5, 11, 12 ], [ 3, 4, 5, 12 ], [ 3, 4, 6, 7 ], [ 3, 4, 6, 7, 8 ], [ 3, 4, 6, 7, 8, 9, 10, 11 ], [ 3, 4, 6, 7, 8, 9, 10, 11, 12 ], [ 3, 4, 6, 7, 8, 9, 10, 12 ], [ 3, 4, 6, 7, 8, 9, 11 ], [ 3, 4, 6, 7, 8, 9, 11, 12 ], [ 3, 4, 6, 7, 8, 9, 12 ], [ 3, 4, 6, 7, 8, 10 ], [ 3, 4, 6, 7, 8, 10, 11 ], [ 3, 4, 6, 7, 8, 10, 11, 12 ], [ 3, 4, 6, 7, 8, 10, 12 ], [ 3, 4, 6, 7, 8, 11 ], [ 3, 4, 6, 7, 8, 11, 12 ], [ 3, 4, 6, 7, 8, 12 ], [ 3, 4, 6, 7, 9, 10 ], [ 3, 4, 6, 7, 9, 10, 11 ], [ 3, 4, 6, 7, 9, 10, 11, 12 ], [ 3, 4, 6, 7, 9, 10, 12 ], [ 3, 4, 6, 7, 9, 11 ], [ 3, 4, 6, 7, 9, 11, 12 ], [ 3, 4, 6, 7, 9, 12 ], [ 3, 4, 6, 7, 10 ], [ 3, 4, 6, 7, 10, 11 ], [ 3, 4, 6, 7, 10, 11, 12 ], [ 3, 4, 6, 7, 10, 12 ], [ 3, 4, 6, 7, 11 ], [ 3, 4, 6, 7, 11, 12 ], [ 3, 4, 6, 7, 12 ], [ 3, 4, 6, 8 ], [ 3, 4, 6, 8, 9, 10, 11 ], [ 3, 4, 6, 8, 9, 10, 11, 12 ], [ 3, 4, 6, 8, 9, 10, 12 ], [ 3, 4, 6, 8, 9, 11, 12 ], [ 3, 4, 6, 8, 9, 12 ], [ 3, 4, 6, 8, 10 ], [ 3, 4, 6, 8, 10, 11 ], [ 3, 4, 6, 8, 10, 11, 12 ], [ 3, 4, 6, 8, 10, 12 ], [ 3, 4, 6, 8, 11 ], [ 3, 4, 6, 8, 11, 12 ], [ 3, 4, 6, 8, 12 ], [ 3, 4, 6, 9, 10 ], [ 3, 4, 6, 9, 10, 11 ], [ 3, 4, 6, 9, 10, 11, 12 ], [ 3, 4, 6, 9, 10, 12 ], [ 3, 4, 6, 9, 11 ], [ 3, 4, 6, 9, 11, 12 ], [ 3, 4, 6, 9, 12 ], [ 3, 4, 6, 10, 11 ], [ 3, 4, 6, 10, 11, 12 ], [ 3, 4, 6, 10, 12 ], [ 3, 4, 6, 11 ], [ 3, 4, 6, 11, 12 ], [ 3, 4, 6, 12 ], [ 3, 4, 7 ], [ 3, 4, 7, 8 ], [ 3, 4, 7, 8, 9, 10 ], [ 3, 4, 7, 8, 9, 10, 11, 12 ], [ 3, 4, 7, 8, 9, 10, 12 ], [ 3, 4, 7, 8, 9, 11 ], [ 3, 4, 7, 8, 9, 11, 12 ], [ 3, 4, 7, 8, 9, 12 ], [ 3, 4, 7, 8, 10 ], [ 3, 4, 7, 8, 10, 11 ], [ 3, 4, 7, 8, 10, 11, 12 ], [ 3, 4, 7, 8, 10, 12 ], [ 3, 4, 7, 8, 11 ], [ 3, 4, 7, 8, 11, 12 ], [ 3, 4, 7, 8, 12 ], [ 3, 4, 7, 9, 10, 11, 12 ], [ 3, 4, 7, 9, 10, 12 ], [ 3, 4, 7, 9, 11 ], [ 3, 4, 7, 9, 11, 12 ], [ 3, 4, 7, 9, 12 ], [ 3, 4, 7, 10, 11, 12 ], [ 3, 4, 7, 10, 12 ], [ 3, 4, 7, 11 ], [ 3, 4, 7, 11, 12 ], [ 3, 4, 7, 12 ], [ 3, 4, 8 ], [ 3, 4, 8, 9, 10 ], [ 3, 4, 8, 9, 10, 11 ], [ 3, 4, 8, 9, 10, 11, 12 ], [ 3, 4, 8, 9, 10, 12 ], [ 3, 4, 8, 9, 11, 12 ], [ 3, 4, 8, 9, 12 ], [ 3, 4, 8, 10 ], [ 3, 4, 8, 10, 11 ], [ 3, 4, 8, 10, 11, 12 ], [ 3, 4, 8, 10, 12 ], [ 3, 4, 8, 11, 12 ], [ 3, 4, 8, 12 ], [ 3, 4, 9, 10, 11, 12 ], [ 3, 4, 9, 10, 12 ], [ 3, 4, 9, 11, 12 ], [ 3, 4, 9, 12 ], [ 3, 4, 10, 11, 12 ], [ 3, 4, 10, 12 ], [ 3, 4, 11, 12 ], [ 3, 4, 12 ], [ 3, 5, 6, 7, 8, 9 ], [ 3, 5, 6, 7, 8, 9, 10 ], [ 3, 5, 6, 7, 8, 9, 10, 11 ], [ 3, 5, 6, 7, 8, 9, 10, 11, 12 ], [ 3, 5, 6, 7, 8, 9, 10, 12 ], [ 3, 5, 6, 7, 8, 9, 11 ], [ 3, 5, 6, 7, 8, 9, 11, 12 ], [ 3, 5, 6, 7, 8, 10 ], [ 3, 5, 6, 7, 8, 10, 11 ], [ 3, 5, 6, 7, 8, 10, 11, 12 ], [ 3, 5, 6, 7, 8, 10, 12 ], [ 3, 5, 6, 7, 8, 11 ], [ 3, 5, 6, 7, 8, 11, 12 ], [ 3, 5, 6, 7, 9 ], [ 3, 5, 6, 7, 9, 10 ], [ 3, 5, 6, 7, 9, 10, 11 ], [ 3, 5, 6, 7, 9, 10, 11, 12 ], [ 3, 5, 6, 7, 9, 10, 12 ], [ 3, 5, 6, 7, 9, 11 ], [ 3, 5, 6, 7, 9, 11, 12 ], [ 3, 5, 6, 7, 9, 12 ], [ 3, 5, 6, 7, 10, 11 ], [ 3, 5, 6, 7, 10, 11, 12 ], [ 3, 5, 6, 7, 10, 12 ], [ 3, 5, 6, 7, 11 ], [ 3, 5, 6, 7, 11, 12 ], [ 3, 5, 6, 8, 9, 10 ], [ 3, 5, 6, 8, 9, 10, 11 ], [ 3, 5, 6, 8, 9, 10, 11, 12 ], [ 3, 5, 6, 8, 9, 10, 12 ], [ 3, 5, 6, 8, 9, 11 ], [ 3, 5, 6, 8, 9, 11, 12 ], [ 3, 5, 6, 8, 10 ], [ 3, 5, 6, 8, 10, 11 ], [ 3, 5, 6, 8, 10, 11, 12 ], [ 3, 5, 6, 8, 10, 12 ], [ 3, 5, 6, 8, 11 ], [ 3, 5, 6, 9, 10 ], [ 3, 5, 6, 9, 10, 11 ], [ 3, 5, 6, 9, 10, 11, 12 ], [ 3, 5, 6, 9, 10, 12 ], [ 3, 5, 6, 9, 11 ], [ 3, 5, 6, 9, 11, 12 ], [ 3, 5, 6, 10, 11 ], [ 3, 5, 6, 10, 11, 12 ], [ 3, 5, 6, 10, 12 ], [ 3, 5, 6, 11 ], [ 3, 5, 6, 11, 12 ], [ 3, 5, 7 ], [ 3, 5, 7, 8 ], [ 3, 5, 7, 8, 9 ], [ 3, 5, 7, 8, 9, 10 ], [ 3, 5, 7, 8, 9, 10, 11 ], [ 3, 5, 7, 8, 9, 10, 11, 12 ], [ 3, 5, 7, 8, 9, 10, 12 ], [ 3, 5, 7, 8, 9, 11 ], [ 3, 5, 7, 8, 9, 11, 12 ], [ 3, 5, 7, 8, 9, 12 ], [ 3, 5, 7, 8, 10 ], [ 3, 5, 7, 8, 10, 11 ], [ 3, 5, 7, 8, 10, 11, 12 ], [ 3, 5, 7, 8, 10, 12 ], [ 3, 5, 7, 8, 11 ], [ 3, 5, 7, 8, 11, 12 ], [ 3, 5, 7, 8, 12 ], [ 3, 5, 7, 9 ], [ 3, 5, 7, 9, 10 ], [ 3, 5, 7, 9, 10, 11 ], [ 3, 5, 7, 9, 10, 11, 12 ], [ 3, 5, 7, 9, 10, 12 ], [ 3, 5, 7, 9, 11 ], [ 3, 5, 7, 9, 11, 12 ], [ 3, 5, 7, 9, 12 ], [ 3, 5, 7, 10 ], [ 3, 5, 7, 10, 11 ], [ 3, 5, 7, 10, 11, 12 ], [ 3, 5, 7, 10, 12 ], [ 3, 5, 7, 11 ], [ 3, 5, 7, 11, 12 ], [ 3, 5, 7, 12 ], [ 3, 5, 8 ], [ 3, 5, 8, 9 ], [ 3, 5, 8, 9, 10, 11 ], [ 3, 5, 8, 9, 10, 11, 12 ], [ 3, 5, 8, 9, 10, 12 ], [ 3, 5, 8, 9, 11, 12 ], [ 3, 5, 8, 9, 12 ], [ 3, 5, 8, 10, 11 ], [ 3, 5, 8, 10, 11, 12 ], [ 3, 5, 8, 10, 12 ], [ 3, 5, 8, 11, 12 ], [ 3, 5, 8, 12 ], [ 3, 5, 9 ], [ 3, 5, 9, 10, 11 ], [ 3, 5, 9, 10, 11, 12 ], [ 3, 5, 9, 10, 12 ], [ 3, 5, 9, 11, 12 ], [ 3, 5, 9, 12 ], [ 3, 5, 10, 11 ], [ 3, 5, 10, 11, 12 ], [ 3, 5, 10, 12 ], [ 3, 5, 11, 12 ], [ 3, 5, 12 ], [ 3, 6, 7, 8 ], [ 3, 6, 7, 8, 9, 10 ], [ 3, 6, 7, 8, 9, 10, 11 ], [ 3, 6, 7, 8, 9, 10, 11, 12 ], [ 3, 6, 7, 8, 9, 10, 12 ], [ 3, 6, 7, 8, 9, 11 ], [ 3, 6, 7, 8, 9, 11, 12 ], [ 3, 6, 7, 8, 9, 12 ], [ 3, 6, 7, 8, 10 ], [ 3, 6, 7, 8, 10, 11 ], [ 3, 6, 7, 8, 10, 11, 12 ], [ 3, 6, 7, 8, 10, 12 ], [ 3, 6, 7, 8, 11 ], [ 3, 6, 7, 8, 11, 12 ], [ 3, 6, 7, 9, 10 ], [ 3, 6, 7, 9, 10, 11 ], [ 3, 6, 7, 9, 10, 11, 12 ], [ 3, 6, 7, 9, 10, 12 ], [ 3, 6, 7, 9, 11 ], [ 3, 6, 7, 9, 11, 12 ], [ 3, 6, 7, 9, 12 ], [ 3, 6, 7, 10, 11 ], [ 3, 6, 7, 10, 11, 12 ], [ 3, 6, 7, 10, 12 ], [ 3, 6, 7, 11 ], [ 3, 6, 7, 11, 12 ], [ 3, 6, 8, 9, 10 ], [ 3, 6, 8, 9, 10, 11 ], [ 3, 6, 8, 9, 10, 11, 12 ], [ 3, 6, 8, 9, 10, 12 ], [ 3, 6, 8, 9, 11 ], [ 3, 6, 8, 9, 11, 12 ], [ 3, 6, 8, 10 ], [ 3, 6, 8, 10, 11 ], [ 3, 6, 8, 10, 11, 12 ], [ 3, 6, 8, 10, 12 ], [ 3, 6, 8, 11 ], [ 3, 6, 8, 11, 12 ], [ 3, 6, 9, 10 ], [ 3, 6, 9, 10, 11 ], [ 3, 6, 9, 10, 11, 12 ], [ 3, 6, 9, 10, 12 ], [ 3, 6, 9, 11 ], [ 3, 6, 9, 11, 12 ], [ 3, 6, 10 ], [ 3, 6, 10, 11 ], [ 3, 6, 10, 11, 12 ], [ 3, 6, 10, 12 ], [ 3, 6, 11 ], [ 3, 6, 11, 12 ], [ 3, 7 ], [ 3, 7, 8 ], [ 3, 7, 8, 9, 10 ], [ 3, 7, 8, 9, 10, 11 ], [ 3, 7, 8, 9, 10, 11, 12 ], [ 3, 7, 8, 9, 10, 12 ], [ 3, 7, 8, 9, 11 ], [ 3, 7, 8, 9, 11, 12 ], [ 3, 7, 8, 9, 12 ], [ 3, 7, 8, 10 ], [ 3, 7, 8, 10, 11 ], [ 3, 7, 8, 10, 11, 12 ], [ 3, 7, 8, 10, 12 ], [ 3, 7, 8, 11 ], [ 3, 7, 8, 11, 12 ], [ 3, 7, 8, 12 ], [ 3, 7, 9, 10 ], [ 3, 7, 9, 10, 11 ], [ 3, 7, 9, 10, 11, 12 ], [ 3, 7, 9, 10, 12 ], [ 3, 7, 9, 11 ], [ 3, 7, 9, 11, 12 ], [ 3, 7, 9, 12 ], [ 3, 7, 10, 11 ], [ 3, 7, 10, 11, 12 ], [ 3, 7, 10, 12 ], [ 3, 7, 11 ], [ 3, 7, 11, 12 ], [ 3, 7, 12 ], [ 3, 8 ], [ 3, 8, 9, 10 ], [ 3, 8, 9, 10, 11 ], [ 3, 8, 9, 10, 11, 12 ], [ 3, 8, 9, 10, 12 ], [ 3, 8, 9, 11, 12 ], [ 3, 8, 9, 12 ], [ 3, 8, 10 ], [ 3, 8, 10, 11 ], [ 3, 8, 10, 11, 12 ], [ 3, 8, 10, 12 ], [ 3, 8, 11, 12 ], [ 3, 8, 12 ], [ 3, 9, 10 ], [ 3, 9, 10, 11 ], [ 3, 9, 10, 11, 12 ], [ 3, 9, 10, 12 ], [ 3, 9, 11, 12 ], [ 3, 9, 12 ], [ 3, 10 ], [ 3, 10, 11 ], [ 3, 10, 11, 12 ], [ 3, 10, 12 ], [ 3, 11, 12 ], [ 3, 12 ], [ 4, 5, 6, 7 ], [ 4, 5, 6, 7, 8 ], [ 4, 5, 6, 7, 8, 9 ], [ 4, 5, 6, 7, 8, 9, 10 ], [ 4, 5, 6, 7, 8, 9, 10, 11 ], [ 4, 5, 6, 7, 8, 9, 10, 11, 12 ], [ 4, 5, 6, 7, 8, 9, 10, 12 ], [ 4, 5, 6, 7, 8, 9, 11 ], [ 4, 5, 6, 7, 8, 9, 11, 12 ], [ 4, 5, 6, 7, 8, 9, 12 ], [ 4, 5, 6, 7, 8, 10 ], [ 4, 5, 6, 7, 8, 10, 11 ], [ 4, 5, 6, 7, 8, 10, 11, 12 ], [ 4, 5, 6, 7, 8, 10, 12 ], [ 4, 5, 6, 7, 8, 11, 12 ], [ 4, 5, 6, 7, 8, 12 ], [ 4, 5, 6, 7, 9 ], [ 4, 5, 6, 7, 9, 10 ], [ 4, 5, 6, 7, 9, 10, 11 ], [ 4, 5, 6, 7, 9, 10, 11, 12 ], [ 4, 5, 6, 7, 9, 10, 12 ], [ 4, 5, 6, 7, 9, 11 ], [ 4, 5, 6, 7, 9, 11, 12 ], [ 4, 5, 6, 7, 9, 12 ], [ 4, 5, 6, 7, 10 ], [ 4, 5, 6, 7, 10, 11 ], [ 4, 5, 6, 7, 10, 11, 12 ], [ 4, 5, 6, 7, 10, 12 ], [ 4, 5, 6, 7, 11 ], [ 4, 5, 6, 7, 11, 12 ], [ 4, 5, 6, 7, 12 ], [ 4, 5, 6, 8 ], [ 4, 5, 6, 8, 9 ], [ 4, 5, 6, 8, 9, 10 ], [ 4, 5, 6, 8, 9, 10, 11 ], [ 4, 5, 6, 8, 9, 10, 11, 12 ], [ 4, 5, 6, 8, 9, 10, 12 ], [ 4, 5, 6, 8, 9, 11 ], [ 4, 5, 6, 8, 9, 11, 12 ], [ 4, 5, 6, 8, 9, 12 ], [ 4, 5, 6, 8, 10 ], [ 4, 5, 6, 8, 10, 11 ], [ 4, 5, 6, 8, 10, 11, 12 ], [ 4, 5, 6, 8, 10, 12 ], [ 4, 5, 6, 8, 11 ], [ 4, 5, 6, 8, 11, 12 ], [ 4, 5, 6, 8, 12 ], [ 4, 5, 6, 9 ], [ 4, 5, 6, 9, 10 ], [ 4, 5, 6, 9, 10, 11 ], [ 4, 5, 6, 9, 10, 11, 12 ], [ 4, 5, 6, 9, 10, 12 ], [ 4, 5, 6, 9, 11 ], [ 4, 5, 6, 9, 11, 12 ], [ 4, 5, 6, 9, 12 ], [ 4, 5, 6, 10, 11 ], [ 4, 5, 6, 10, 11, 12 ], [ 4, 5, 6, 10, 12 ], [ 4, 5, 6, 11 ], [ 4, 5, 6, 11, 12 ], [ 4, 5, 6, 12 ], [ 4, 5, 7 ], [ 4, 5, 7, 8 ], [ 4, 5, 7, 8, 9 ], [ 4, 5, 7, 8, 9, 10 ], [ 4, 5, 7, 8, 9, 10, 11 ], [ 4, 5, 7, 8, 9, 10, 11, 12 ], [ 4, 5, 7, 8, 9, 10, 12 ], [ 4, 5, 7, 8, 9, 11 ], [ 4, 5, 7, 8, 9, 11, 12 ], [ 4, 5, 7, 8, 9, 12 ], [ 4, 5, 7, 8, 10 ], [ 4, 5, 7, 8, 10, 11 ], [ 4, 5, 7, 8, 10, 11, 12 ], [ 4, 5, 7, 8, 10, 12 ], [ 4, 5, 7, 8, 11 ], [ 4, 5, 7, 8, 11, 12 ], [ 4, 5, 7, 8, 12 ], [ 4, 5, 7, 9 ], [ 4, 5, 7, 9, 10, 11, 12 ], [ 4, 5, 7, 9, 10, 12 ], [ 4, 5, 7, 9, 11 ], [ 4, 5, 7, 9, 11, 12 ], [ 4, 5, 7, 9, 12 ], [ 4, 5, 7, 10, 11, 12 ], [ 4, 5, 7, 10, 12 ], [ 4, 5, 7, 11 ], [ 4, 5, 7, 11, 12 ], [ 4, 5, 7, 12 ], [ 4, 5, 8 ], [ 4, 5, 8, 9 ], [ 4, 5, 8, 9, 10 ], [ 4, 5, 8, 9, 10, 11 ], [ 4, 5, 8, 9, 10, 11, 12 ], [ 4, 5, 8, 9, 10, 12 ], [ 4, 5, 8, 9, 11, 12 ], [ 4, 5, 8, 9, 12 ], [ 4, 5, 8, 10 ], [ 4, 5, 8, 10, 11 ], [ 4, 5, 8, 10, 11, 12 ], [ 4, 5, 8, 10, 12 ], [ 4, 5, 8, 11, 12 ], [ 4, 5, 8, 12 ], [ 4, 5, 9 ], [ 4, 5, 9, 10, 11, 12 ], [ 4, 5, 9, 10, 12 ], [ 4, 5, 9, 11, 12 ], [ 4, 5, 9, 12 ], [ 4, 5, 10, 11, 12 ], [ 4, 5, 10, 12 ], [ 4, 5, 11, 12 ], [ 4, 5, 12 ], [ 4, 6 ], [ 4, 6, 7 ], [ 4, 6, 7, 8 ], [ 4, 6, 7, 8, 9, 10 ], [ 4, 6, 7, 8, 9, 10, 11 ], [ 4, 6, 7, 8, 9, 10, 11, 12 ], [ 4, 6, 7, 8, 9, 10, 12 ], [ 4, 6, 7, 8, 9, 11 ], [ 4, 6, 7, 8, 9, 11, 12 ], [ 4, 6, 7, 8, 9, 12 ], [ 4, 6, 7, 8, 10 ], [ 4, 6, 7, 8, 10, 11 ], [ 4, 6, 7, 8, 10, 11, 12 ], [ 4, 6, 7, 8, 10, 12 ], [ 4, 6, 7, 8, 11 ], [ 4, 6, 7, 8, 11, 12 ], [ 4, 6, 7, 8, 12 ], [ 4, 6, 7, 9, 10 ], [ 4, 6, 7, 9, 10, 11 ], [ 4, 6, 7, 9, 10, 11, 12 ], [ 4, 6, 7, 9, 10, 12 ], [ 4, 6, 7, 9, 11 ], [ 4, 6, 7, 9, 11, 12 ], [ 4, 6, 7, 9, 12 ], [ 4, 6, 7, 10, 11 ], [ 4, 6, 7, 10, 11, 12 ], [ 4, 6, 7, 10, 12 ], [ 4, 6, 7, 11 ], [ 4, 6, 7, 11, 12 ], [ 4, 6, 7, 12 ], [ 4, 6, 8, 9, 10 ], [ 4, 6, 8, 9, 10, 11 ], [ 4, 6, 8, 9, 10, 11, 12 ], [ 4, 6, 8, 9, 10, 12 ], [ 4, 6, 8, 9, 11 ], [ 4, 6, 8, 9, 11, 12 ], [ 4, 6, 8, 9, 12 ], [ 4, 6, 8, 10 ], [ 4, 6, 8, 10, 11 ], [ 4, 6, 8, 10, 11, 12 ], [ 4, 6, 8, 10, 12 ], [ 4, 6, 8, 11 ], [ 4, 6, 8, 11, 12 ], [ 4, 6, 8, 12 ], [ 4, 6, 9, 10 ], [ 4, 6, 9, 10, 11 ], [ 4, 6, 9, 10, 11, 12 ], [ 4, 6, 9, 10, 12 ], [ 4, 6, 9, 11 ], [ 4, 6, 9, 11, 12 ], [ 4, 6, 9, 12 ], [ 4, 6, 10, 11 ], [ 4, 6, 10, 11, 12 ], [ 4, 6, 10, 12 ], [ 4, 6, 11 ], [ 4, 6, 11, 12 ], [ 4, 6, 12 ], [ 4, 7, 8 ], [ 4, 7, 8, 9, 10, 11, 12 ], [ 4, 7, 8, 9, 10, 12 ], [ 4, 7, 8, 9, 11 ], [ 4, 7, 8, 9, 11, 12 ], [ 4, 7, 8, 9, 12 ], [ 4, 7, 8, 10, 11, 12 ], [ 4, 7, 8, 10, 12 ], [ 4, 7, 8, 11 ], [ 4, 7, 8, 11, 12 ], [ 4, 7, 8, 12 ], [ 4, 7, 9, 10, 11, 12 ], [ 4, 7, 9, 10, 12 ], [ 4, 7, 9, 11 ], [ 4, 7, 9, 11, 12 ], [ 4, 7, 9, 12 ], [ 4, 7, 10, 11, 12 ], [ 4, 7, 10, 12 ], [ 4, 7, 11 ], [ 4, 7, 11, 12 ], [ 4, 7, 12 ], [ 4, 8 ], [ 4, 8, 9, 10, 11, 12 ], [ 4, 8, 9, 10, 12 ], [ 4, 8, 9, 11, 12 ], [ 4, 8, 9, 12 ], [ 4, 8, 10, 11, 12 ], [ 4, 8, 10, 12 ], [ 4, 8, 11, 12 ], [ 4, 8, 12 ], [ 4, 9, 10, 11, 12 ], [ 4, 9, 10, 12 ], [ 4, 9, 11, 12 ], [ 4, 9, 12 ], [ 4, 10, 11, 12 ], [ 4, 10, 12 ], [ 4, 11, 12 ], [ 4, 12 ], [ 5, 6, 7, 8 ], [ 5, 6, 7, 8, 9 ], [ 5, 6, 7, 8, 9, 10 ], [ 5, 6, 7, 8, 9, 10, 11 ], [ 5, 6, 7, 8, 9, 10, 11, 12 ], [ 5, 6, 7, 8, 9, 10, 12 ], [ 5, 6, 7, 8, 9, 11 ], [ 5, 6, 7, 8, 9, 11, 12 ], [ 5, 6, 7, 8, 9, 12 ], [ 5, 6, 7, 8, 10 ], [ 5, 6, 7, 8, 10, 11 ], [ 5, 6, 7, 8, 10, 11, 12 ], [ 5, 6, 7, 8, 10, 12 ], [ 5, 6, 7, 8, 11 ], [ 5, 6, 7, 8, 11, 12 ], [ 5, 6, 7, 8, 12 ], [ 5, 6, 7, 9 ], [ 5, 6, 7, 9, 10 ], [ 5, 6, 7, 9, 10, 11 ], [ 5, 6, 7, 9, 10, 11, 12 ], [ 5, 6, 7, 9, 10, 12 ], [ 5, 6, 7, 9, 11 ], [ 5, 6, 7, 9, 11, 12 ], [ 5, 6, 7, 9, 12 ], [ 5, 6, 7, 10, 11 ], [ 5, 6, 7, 10, 11, 12 ], [ 5, 6, 7, 10, 12 ], [ 5, 6, 7, 11 ], [ 5, 6, 7, 11, 12 ], [ 5, 6, 7, 12 ], [ 5, 6, 8, 9 ], [ 5, 6, 8, 9, 10, 11 ], [ 5, 6, 8, 9, 10, 11, 12 ], [ 5, 6, 8, 9, 10, 12 ], [ 5, 6, 8, 9, 11 ], [ 5, 6, 8, 9, 11, 12 ], [ 5, 6, 8, 9, 12 ], [ 5, 6, 8, 10, 11 ], [ 5, 6, 8, 10, 11, 12 ], [ 5, 6, 8, 10, 12 ], [ 5, 6, 8, 11 ], [ 5, 6, 8, 11, 12 ], [ 5, 6, 9 ], [ 5, 6, 9, 10, 11 ], [ 5, 6, 9, 10, 11, 12 ], [ 5, 6, 9, 10, 12 ], [ 5, 6, 9, 11 ], [ 5, 6, 9, 11, 12 ], [ 5, 6, 9, 12 ], [ 5, 6, 10, 11 ], [ 5, 6, 10, 11, 12 ], [ 5, 6, 10, 12 ], [ 5, 6, 11 ], [ 5, 6, 11, 12 ], [ 5, 7 ], [ 5, 7, 8 ], [ 5, 7, 8, 9 ], [ 5, 7, 8, 9, 10 ], [ 5, 7, 8, 9, 10, 11 ], [ 5, 7, 8, 9, 10, 11, 12 ], [ 5, 7, 8, 9, 10, 12 ], [ 5, 7, 8, 9, 11 ], [ 5, 7, 8, 9, 11, 12 ], [ 5, 7, 8, 9, 12 ], [ 5, 7, 8, 10 ], [ 5, 7, 8, 10, 11 ], [ 5, 7, 8, 10, 11, 12 ], [ 5, 7, 8, 10, 12 ], [ 5, 7, 8, 11 ], [ 5, 7, 8, 11, 12 ], [ 5, 7, 8, 12 ], [ 5, 7, 9 ], [ 5, 7, 9, 10 ], [ 5, 7, 9, 10, 11 ], [ 5, 7, 9, 10, 11, 12 ], [ 5, 7, 9, 10, 12 ], [ 5, 7, 9, 11 ], [ 5, 7, 9, 11, 12 ], [ 5, 7, 9, 12 ], [ 5, 7, 10, 11 ], [ 5, 7, 10, 11, 12 ], [ 5, 7, 10, 12 ], [ 5, 7, 11 ], [ 5, 7, 11, 12 ], [ 5, 7, 12 ], [ 5, 8 ], [ 5, 8, 9, 10, 11 ], [ 5, 8, 9, 10, 11, 12 ], [ 5, 8, 9, 10, 12 ], [ 5, 8, 9, 11, 12 ], [ 5, 8, 9, 12 ], [ 5, 8, 10, 11 ], [ 5, 8, 10, 11, 12 ], [ 5, 8, 10, 12 ], [ 5, 8, 11, 12 ], [ 5, 8, 12 ], [ 5, 9 ], [ 5, 9, 10, 11 ], [ 5, 9, 10, 11, 12 ], [ 5, 9, 10, 12 ], [ 5, 9, 11, 12 ], [ 5, 9, 12 ], [ 5, 10, 11 ], [ 5, 10, 11, 12 ], [ 5, 10, 12 ], [ 5, 12 ], [ 6, 7, 8 ], [ 6, 7, 8, 9, 10 ], [ 6, 7, 8, 9, 10, 11 ], [ 6, 7, 8, 9, 10, 11, 12 ], [ 6, 7, 8, 9, 10, 12 ], [ 6, 7, 8, 9, 11 ], [ 6, 7, 8, 9, 11, 12 ], [ 6, 7, 8, 9, 12 ], [ 6, 7, 8, 10 ], [ 6, 7, 8, 10, 11 ], [ 6, 7, 8, 10, 11, 12 ], [ 6, 7, 8, 10, 12 ], [ 6, 7, 8, 11 ], [ 6, 7, 8, 11, 12 ], [ 6, 7, 8, 12 ], [ 6, 7, 9 ], [ 6, 7, 9, 10 ], [ 6, 7, 9, 10, 11 ], [ 6, 7, 9, 10, 11, 12 ], [ 6, 7, 9, 10, 12 ], [ 6, 7, 9, 11 ], [ 6, 7, 9, 11, 12 ], [ 6, 7, 9, 12 ], [ 6, 7, 10, 11 ], [ 6, 7, 10, 11, 12 ], [ 6, 7, 10, 12 ], [ 6, 7, 11 ], [ 6, 7, 11, 12 ], [ 6, 7, 12 ], [ 6, 8, 9, 10 ], [ 6, 8, 9, 10, 11 ], [ 6, 8, 9, 10, 11, 12 ], [ 6, 8, 9, 10, 12 ], [ 6, 8, 9, 11 ], [ 6, 8, 9, 11, 12 ], [ 6, 8, 9, 12 ], [ 6, 8, 10 ], [ 6, 8, 10, 11 ], [ 6, 8, 10, 11, 12 ], [ 6, 8, 10, 12 ], [ 6, 8, 11 ], [ 6, 8, 11, 12 ], [ 6, 9, 10 ], [ 6, 9, 10, 11 ], [ 6, 9, 10, 11, 12 ], [ 6, 9, 10, 12 ], [ 6, 9, 11 ], [ 6, 9, 11, 12 ], [ 6, 9, 12 ], [ 6, 10 ], [ 6, 10, 11 ], [ 6, 10, 11, 12 ], [ 6, 10, 12 ], [ 6, 11 ], [ 6, 11, 12 ], [ 6, 12 ], [ 7, 8, 9, 10 ], [ 7, 8, 9, 10, 11 ], [ 7, 8, 9, 10, 11, 12 ], [ 7, 8, 9, 10, 12 ], [ 7, 8, 10 ], [ 7, 8, 10, 11 ], [ 7, 8, 10, 11, 12 ], [ 7, 8, 10, 12 ], [ 7, 8, 11 ], [ 7, 8, 11, 12 ], [ 7, 8, 12 ], [ 7, 9, 10 ], [ 7, 9, 10, 11, 12 ], [ 7, 9, 10, 12 ], [ 7, 9, 11 ], [ 7, 9, 11, 12 ], [ 7, 9, 12 ], [ 7, 10, 11 ], [ 7, 10, 11, 12 ], [ 7, 10, 12 ], [ 7, 11 ], [ 7, 11, 12 ], [ 7, 12 ], [ 8 ], [ 8, 9, 10 ], [ 8, 9, 10, 11 ], [ 8, 9, 10, 11, 12 ], [ 8, 9, 10, 12 ], [ 8, 9, 11, 12 ], [ 8, 9, 12 ], [ 8, 10 ], [ 8, 10, 11 ], [ 8, 10, 11, 12 ], [ 8, 10, 12 ], [ 8, 11, 12 ], [ 8, 12 ], [ 9, 10 ], [ 9, 10, 11 ], [ 9, 10, 11, 12 ], [ 9, 10, 12 ], [ 9, 11, 12 ], [ 9, 12 ], [ 10, 11 ], [ 10, 11, 12 ], [ 10, 12 ], [ 11, 12 ], [ 12 ]